English developing documentation: translation to other languages